\section{Descripción}

A continuación, mostramos que la gramática que propusimos en la primera parte, de la que sospechabamos que era LL(1), realmente lo es.

Lo hacemos calculando los Símbolos Directrices de las produciones que tienen el mismo no terminal del lado izquierdo, y mostrando que son conjuntos disjuntos.

  \begin{tabular}{ | c | c | }
    \hline
    Producción & SD \\ 
    \hline
    \texttt{Header} $\rightarrow$ \texttt{<head>ListH</head>} & \texttt{<head>} \\ 
    \hline
   	\texttt{Header} $\rightarrow$ $\lambda$ & \texttt{<body>, </html>} \\ 
    \hline
    \texttt{ListH} $\rightarrow$ \texttt{TitleOScript ListH} & \texttt{<title>, <script>} \\ 
	\hline
	\texttt{ListH} $\rightarrow$ $\lambda$ & \texttt{</head>} \\ 
    \hline
    \texttt{TitleOScript} $\rightarrow$ \texttt{Title} & \texttt{<title>} \\ 
    \hline
    \texttt{TitleOScript} $\rightarrow$ \texttt{Script} & \texttt{<script>} \\ 
    \hline
   	\texttt{Body} $\rightarrow$ \texttt{<body>ListaE</body>} & \texttt{<body>} \\ 
    \hline
    \texttt{Body} $\rightarrow$ $\lambda$ & \texttt{</html>} \\ 
    \hline
    \texttt{ListE} $\rightarrow$ \texttt{texto ListE} & \texttt{texto} \\ 
    \hline
    \texttt{ListE} $\rightarrow$ \texttt{<br>ListE} & \texttt{<br>} \\ 
    \hline
    \texttt{ListE} $\rightarrow$ \texttt{Elem ListE} & \texttt{<div>, <h1>, <p>} \\ 
    \hline
    \texttt{ListE} $\rightarrow$ $\lambda$ & \texttt{</body>, </div>, </h1>, </p>} \\ 
    \hline
    \texttt{Elem} $\rightarrow$ \texttt{Div} & \texttt{<div>} \\ 
    \hline
    \texttt{Elem} $\rightarrow$ \texttt{H1} & \texttt{<h1>} \\ 
    \hline
    \texttt{Elem} $\rightarrow$ \texttt{P} & \texttt{<p>} \\ 
    \hline
  \end{tabular}

Como se ve en la tabla anterior, la intersección de los simbolos directrices entre producciones con el mismo no terminal del lado izquierdo, es disjunta.
Por lo tanto podemos afirmar que es LL(1).